منابع مشابه
Finite Arithmetics
Let FM (A), for A = (ω, . . .), be a family of finite, initial segments of A. One can see FM (A) as a family of finite arithmetics related to the arithmetic A. In the talk I will survey what is known about such arithmetics and their logical properties. The main questions will be the following: What is the complexity of theories of such families? What relations can be represented in such familie...
متن کامل-matrix Arithmetics in Linear Complexity -matrix Arithmetics in Linear Complexity
For hierarchical matrices, approximations of the matrix-matrix sum and product can be computed in almost linear complexity, and using these matrix operations it is possible to construct the matrix inverse, efficient precondi-tioners based on approximate factorizations or solutions of certain matrix equations. H 2-matrices are a variant of hierarchical matrices which allow us to perform certain ...
متن کاملRules and Arithmetics
This paper is concerned with the logical structure of arithmetical the ories We survey results concerning logics and admissible rules of con structive arithmetical theories We prove a new theorem the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic We provide some further insights concerning predicate l...
متن کاملModels for Substructural Arithmetics
This paper explores models for arithmetics in substructural logics. In the existing literature on substructural arithmetic, frame semantics for substructural logics are absent. We will start to fill in the picture in this paper by examining frame semantics for the substructural logics C (linear logic plus distribution), R (relevant logic) and CK (C plus weakening). The eventual goal is to find ...
متن کاملArithmetics of 2-friezes
We consider the variant of Coxeter–Conway frieze patterns called 2-frieze. We prove that there exist infinitely many closed integral 2-friezes (i.e. containing only positive integers) provided the width of the array is bigger than 4. We introduce operations on the integral 2-friezes generating bigger or smaller closed integral 2friezes.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2016
ISSN: 0021-8693
DOI: 10.1016/j.jalgebra.2016.08.015